<?php 
	session_start();

	if ( !isset($_SESSION['user']))
	{
		exit();
	}
	
	$_SESSION['doc'] = $_GET['doc'];
	$_SESSION['docname'] = $_GET['docname'];
	
	$_SESSION['doc_content'] = null;
	
	header ("Location: index.php");
	

?>